#pragma once

#include <linux/thread_info.h>
#include <linux/stddef.h>

/*
 * switch_to(prev, next) should switch from task `prev' to `next'
 * `prev' will never be the same as `next'.  schedule() itself
 * contains the memory barrier to tell GCC not to cache `current'.
 */
extern struct task_struct *__switch_to(struct task_struct *, struct task_struct *,
                                       struct thread_info *, struct thread_info *,
                                       long offset);

#define switch_to(prev, next, last)         \
    do                                      \
    {                                       \
        struct thread_info *pti, *nti;      \
        pti = task_thread_info(prev);       \
        nti = task_thread_info(next);       \
        last = __switch_to(prev, next, pti, nti, offsetof(struct thread_info, ra)); \
    } while (0)
